body { font-family: Helvetica; }

h1 { text-align: center; }

#console {
    padding: 10px;
    height: 300px;
    border: solid 1px #aaa;
    
    background-color: #000;
    color: #eee;
    font-family:monospace;

    overflow: auto;
}

#input {
    width: 100%;
    height: 100px;
    font-family: monospace;
}

.incoming { color: red; }

.outgoing { color: green; }

textarea.disabled { background-color: #bbb; }

#buttonbar { margin: 10px; }

#disconnect-button {
    float: left;
    width: 100px;
}

#send-button {
    float: right;
    width: 100px;
}

/*
 * Styles for xml text
 */
.xml-punc { color: #888 }
.xml-tag { color: #e77 }
.xml-attr-name { color: #55d }
.xml-attr-value { color: #77f }
.xml-text { color: #aaa }

.xml-indent0 { padding-left: 0; }
.xml-indent1 { padding-left: 1em; }
.xml-indent2 { padding-left: 2em; }
.xml-indent3 { padding-left: 3em; }
.xml-indent4 { padding-left: 4em; }

